home *** CD-ROM | disk | FTP | other *** search
- .nr _0 \n(c.
- .\" Copyright (c) 1988 The Regents of the University of California.
- .\" All rights reserved.
- .\"
- .\" Redistribution and use in source and binary forms are permitted
- .\" provided that the above copyright notice and this paragraph are
- .\" duplicated in all such forms and that any documentation,
- .\" advertising materials, and other materials related to such
- .\" distribution and use acknowledge that the software was developed
- .\" by the University of California, Berkeley. The name of the
- .\" University may not be used to endorse or promote products derived
- .\" from this software without specific prior written permission.
- .\" THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR
- .\" IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED
- .\" WARRANTIES OF MERCHANTIBILITY AND FITNESS FOR A PARTICULAR PURPOSE.
- .\"
- .\" @(#)chars.me 2.5 (Berkeley) 9/30/88
- .\"
- .\" This version has had comments stripped; an unstripped version is available.
- .if n \
- \{\
- . ds #[ \f1
- . ds #] \fP
- . ds #h 0
- . ds #v 0.8m
- . ds #f 0.3m
- .\}
- .if t \
- \{\
- . ds #[ \&
- . ds #] \&
- . ds #h ((1u-(\\\\n(.fu%2u))*0.13m)
- . ds #v 0.6m
- . ds #f 0
- .\}
- .ds ' \k_\h'-(\\n(.wu*8/10-\*(#h)'\*(#[\(aa\h'|\\n_u'\*(#]
- .ds ` \k_\h'-(\\n(.wu*7/10-\*(#h)'\*(#[\(ga\h'|\\n_u'\*(#]
- .ds : \k_\h'-(\\n(.wu*8/10-\*(#h+0.1m+\*(#f)'\v'-\*(#v'\*(#[\z.\h'0.2m+\*(#f'.\h'|\\n_u'\v'\*(#v'\*(#]
- .ds ^ \k_\h'-(\\n(.wu-\*(#h-0.05m)'\*(#[^\h'|\\n_u'\*(#]
- .ds ~ \k_\h'-(\\n(.wu-\*(#h-0.05m)'\*(#[~\h'|\\n_u'\*(#]
- .ds , \k_\h'-(\\n(.wu)'\*(#[,\h'|\\n_u'\*(#]
- .ds v \k_\h'-(\\n(.wu*9/10-\*(#h)'\v'-\*(#v'\*(#[\s-4v\s0\v'\*(#v'\h'|\\n_u'\*(#]
- .ds o \k_\h'-(\\n(.wu+\w'\(de'u-\*(#h)/2u'\v'-0.4n'\*(#[\z\(de\v'0.4n'\h'|\\n_u'\*(#]
- .ds qe \*(#[\v'0.5m'\z\(em\v'-0.65m'\z\(em\v'-0.65m'\z\(em\v'0.8m'\h'0.3m'|\h'-0.3m'\*(#]
- .ds qa \*(#[\h'-0.24m'\z\e\h'0.48m'\z\(sl\h'-0.24m'\v'-0.15m'\(em\v'0.15m'\*(#]
- .if t \
- \{\
- . ds qe \s-2\v'0.45m'\z\(em\v'-0.625m'\z\(em\v'-0.625m'\(em\v'0.8m'\s0\h'-0.1m'\v'-0.05m'\(br\v'0.05m'\h'0.1m'
- . ds qa \z\e\h'0.35m'\z\(sl\h'-0.33m'\v'-0.3m'\s-4\(em\s0\v'0.3m'\h'0.15m'
- .\}
- .if \n($T \
- \{\
- . ds ' \*(#[\h'-1'\(aa\*(#]
- . ds ` \*(#[\h'-1'\(ga\*(#]
- . ds : \&
- . ds ^ \*(#[\h'-1'^\*(#]
- . ds ~ \*(#[\h'-1'~\*(#]
- . ds , \*(#[\h'-1',\*(#]
- . ds v \&
- . ds o \&
- . ds qe EXISTS
- . ds qa FORALL
- .\}
- .rm #[
- .rm #]
- .rm #h
- .rm #v
- .rm #f
- .nr c. \n(_0
-